Extractors and an efficient variant of Muchnik's theorem
نویسنده
چکیده
Muchnik's theorem about simple conditional descriprion states that for all words $a$ and $b$ there exists a short program $p$ transforming $a$ to $b$ that has the least possible length and is simple conditional on $b$. This paper presents a new proof of this theorem, based on extractors. Employing the extractor technique, two new versions of Muchnik's theorem for space- and time-bounded Kolmogorov complexity are proven.
منابع مشابه
An Efficient Coupled Genetic Algorithm-NLP Method for Heat Exchanger Network Synthesis
Synthesis of heat exchanger networks (HENs) is inherently a mixed integer and nonlinear programming (MINLP) problem. Solving such problems leads to difficulties <span style="font-size: 10pt; color: #00...
متن کاملSimple Extractors via Constructions of Cryptographic Pseudo-random Generators
Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-random generators from one-way permutations (the Blum-Micali-Yao approach) can be used for building extractors as well. Using this new technique we build extractors that do not use designs and polynomial-based error-co...
متن کاملAPG: An Efficient Software Program for Amp-Pl Thermobarometry Based on Graphical Method
Geothermobarometry equations are based on thermodynamic principles and appear in single or multi-variant functions. The number of variants for a specific composition or reaction usually is reduced into 2 involving temperature (T) and pressure (P). Since most of planned equations have two passive or variant P and T, using these equations should be with special care. It is very effective to use g...
متن کاملFIXED POINT TYPE THEOREM IN S-METRIC SPACES
A variant of fixed point theorem is proved in the setting of S-metric spaces
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/0811.3958 شماره
صفحات -
تاریخ انتشار 2008